Coordinated Control for Highly Reconfigurable Systems

Operational semantics of hybrid systems p. 25 SOS methods for semi-algebraic games and optimization p. 54 The discrete time behavior of lazy linear hybrid automata p. 55 Perturbed timed automata p. 70 A homology theory for hybrid systems : hybrid homology p. 86 Observability of switched linear systems in continuous time p. 103 Controller synthesis on non-uniform and uncertain discrete-time domains p. 118 Qualitative analysis and verification of hybrid models of genetic regulatory networks : nutritional stress response in Escherichia coli p. 134 Optimal control of discrete hybrid stochastic automata p. 151 Hybrid decentralized control of large scale systems p. 168 On the stabilisation of switching electrical power converters p. 184 Bisimulation for general stochastic hybrid systems p. 198 Position and force control of nonsmooth lagrangian dynamical systems without friction p. 215 Existence of cascade discrete-continuous state estimators for systems on a partial order p. 226 Refining abstractions of hybrid systems using counterexample fragments p. 242 PHAVer : algorithmic verification of hybrid systems past HyTech p. 258 Direct torque control for induction motor drives : a model predictive control approach based on feasibility p. 274 Reachability of uncertain linear systems using zonotopes p. 291 Safety verification of controlled advanced life support system using barrier certificates p. 306 Polynomial stochastic hybrid systems p. 322 Non-uniqueness in reverse time of hybrid system trajectories p. 339 Comparison of four procedures for the identification of hybrid systems p. 354 An ontology-based approach to heterogeneous verification of embedded control systems p. 370 Mode-automata based methodology for Scade p. 386 Taylor approximation for hybrid systems p. 402 Infinity norms as Lyapunov functions for model predictive control of constrained PWA systems p. 417 Air-traffic control in approach sectors : simulation examples and optimisation p. 433 Identification of deterministic switched ARX systems via identification of algebraic varieties p. 449 Learning multi-modal control programs p. 466 A toolbox of Hamilton-Jacobi solvers for analysis of nondeterministic continuous and hybrid systems p. 480 On transfinite hybrid automata p. 495 Design of optimal autonomous switching circuits to suppress mechanical vibration p. 511 Interchange formats for hybrid systems : review and proposal p. 526 Primal-dual tests for safety and reachability p. 542